axiom of denumerability

可數公設;可數公理